Nuprl Definition : m-sys-join-list
0,22
postcript
pdf
(
L
) == reduce(
A
,
B
.
A
B
;;
L
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
x
.
A
(
x
)
,
A
B
,
FDL editor aliases
m-sys-join-list
origin
(L) == reduce(
A,B. A B;;L) (L) == reduce(A,B. A B;;L) x.A(x) B